Initial D

by thms

1