Proof (of D12) – E And 1 Equals None