Now one has to check that d is well-defined (i.e., d(x) only depends on x and not on the choice of y), that it is a homomorphism, and that the resulting long sequence is indeed exact.
Залишається перевірити, що d є коректно визначеним (тобто d(x) залежить тільки від x, а не від вибору y), що він є гомоморфізмом і що одержана послідовність є точною.