Zu 1."Wenn A ⊆ B, dann B ⊆ A" kann nicht bewiesen werden, da die Aussage falsch ist. Zum Beispiel ist ∅⊆{∅}, aber nicht {∅}⊆∅.
Zu 2. Die Umkehrung von "Wenn A ⊆ B, dann B ⊆ A", lautet auch nicht "Wenn B ⊆ A, dann A ⊆ B". Vielmehr ist "Wenn B ⊆ A, dann A ⊆ B" äquivalent zu "Wenn A ⊆ B, dann B ⊆ A" (durch einfache Umbenennung der Variablen).