B2.2 (d): Done
B2.2 (e): Inserted proof need to reformulate it