Talk:Commandino's theorem