Apparatus
1 quadrato A  erit quadrato S
2 zm ex tm A