theorem B is D-prefix & A c= B implies A is D-prefix;
