Dinostratus' theorem