Bizonyítandó, hogy egy pythagorasi számhármasnak mindig van két olyan eleme, amelyek négyzetének különbsége osztható 7-tel.