Объяснение:
Т.к. выполняется для любого подмножества, то выполняется и для :
Т.к. это должно выполняться для любого подмножества подмн-ва С, то , но А - подмн-во С. А тогда
Объяснение:
Т.к. выполняется для любого подмножества, то выполняется и для :
Т.к. это должно выполняться для любого подмножества подмн-ва С, то , но А - подмн-во С. А тогда