B1.2 : Proof done
etc: Added example theorem
B2.1 (d) : DONE with example