ABC

Proof of D12