Cognitive Radio Networks (CRNs) have now become very popular due to their innovative idea of increasing the spectrum efficiency by smart secondary users, which are using the unused licensed channels. In the CRN context we have suggested a new routing algorithm called IP Spectrum Aware Geographic algorithm (IPSAG) [1]. The paper presents the validation of the IPSAG correctness in the case of stationary CR nodes. A CRN model is created by overloading a channel map with a node map, and then, inside the CRN, it is proved that the source-destination path is successfully found in the majority of the cases.