Igazoljuk, hogy ha tetszőleges 3-nál nagyobb törzsszám négyzetét 12-vel osztjuk, maradékul 1-et kapunk.