Monge's theorem