Tatsächlich haben wir in unserer Einführungsvorlesung bis jetzt den ggT oder das kgV noch nicht thematisiert und auch noch nicht die Grundlagen für einen solchen Beweis geschaffen.
Das einzige Wissen, was einer Herleitung nahekommen würde, wäre das Wissen über Potenzmengen, der (großen) Vereinigung oder des kartesischen Produkts.
P(T_{21})\cap T_7 ist ja z.B. sowohl T_7 als auch T_{21} und
P(T_{21})\cap T_3 natürlich T_3 und auch T_{21}
Aber ich glaube nicht, dass sowas als Herleitung genügt.