proof d12