Redirecting to Cone (geometry)/Proofs