Commandino's theorem