for F, G being Subset of PL-WFF st F c= G & not F is consistent holds
not G is consistent