redwhite90D, конечно не есть С, но D имеет полный доступ к С (и наоборот).
Во первых, "наоборот" здесь неподходящее слово - доступ между C и D несиммметричен - D имеет доступ к конкретному экземпляру D, а D - нет.
Во вторых, недо понимать, как реализуется вложенность классов - с помощью неявно описанной ссылки на экземпляр объемлющего класса, которая передается в конструктор и сохраняется в поле. Это можно рассматривать как синтаксический сахар - все это можно проделать явно, и даже сделать больше - например, иметь несколько ссылок на несколько экземпляров. Ну и можно моделировать этим множественное наследование.