It is only necessary to prove this for a primitive Pythagorean triple, since the general case then follows immediately. A primitive Pythagorean triple is of the form , so that .

First check that is a multiple of 3, to ensure that is an integer. Then check that factorises as . The only thing then remaining is to satisfy yourself that neither of those last two factors is equal to 3.