proof from d12