Hide/Show Apps

Mechanical thearem proving in classical geometry.