Trapezium rotation proofs