proof of d12