Dinostratus' theorem


Dinostratus' theorem is a theorem.