Talk:Dinostratus' theorem