THAROOR-proofs-10