theorem Th10: :: HILBERT4:5

for A being set
for f being Function of A,A st f * f = id A holds
f is involutive