From the "Unique-Prime-Factorization Theorem" we can write . Now let r be a number such that but and let . Then , where and m is odd from the construction of r. This is a unique expression from the "Unique-Prime-Factorization Theorem".