text: Поскольку M a , b {\displaystyle M_{a,b}} односвязны, согласно обобщённой гипотезе Пуанкаре, проверка гомеоморфности M a , b {\displaystyle M_{a,b}} и S 7 {\displaystyle S^{7}} сводится к подсчёту гомологий M a , b {\displaystyle M_{a,b}} ; это условие накладывает определённые условия на a {\displaystyle a} и b {\displaystyle b} .