Proof. [1206A]

TODO