theorem for X being Subset of Y st X is D-inconsistent
holds Y is D-inconsistent;
