It must be that for some integer ; is odd and .

Then , where ; therefore, .

For we consider two cases (we wish to keep relatively prime factors.).

If , write , both factors are perfect squares. We have for some integer and must divide ; hence, . Subsitute, .

If , write , both factors are perfect squares, i.e. . Then .