https://9lib.org/document/zwvod7nv-pokazać-że-wówczas-istnieje-rosnący-ciąg-podgrup.html