A short proof of Fermat's two-square theorem given by János Bolyai. Kiss, Elemér — 1997 Mathematica Pannonica
On a congruence by János Bolyai, connected with pseudoprimes. Kiss, Elemér; Sándor, József — 2004 Mathematica Pannonica