Proofs of Lemmas and Theorems in the UTP