Dowieść, że nie istnieją liczby naturalne dodatnie \(\displaystyle{ a,b,c,g,f}\), które spełniałyby układ rownań:
\(\displaystyle{ a ^{2}+b ^{2}=f ^{2} \wedge a ^{2}+c ^{2}=g ^{2}}\) , gdzie
\(\displaystyle{ a, f, g}\) - liczby nieparzyste, \(\displaystyle{ b,c}\)- liczby parzyste oraz \(\displaystyle{ b \neq c \neq f \neq g}\).