1.1.5 Proof. Trivial

1.21.1 Proof.

1.21.2 Proof.
…