В работе получено обобщение леммы о двух квадратах, доказанной для абелевых категорий Фэем,
Харди и Хилтоном в 1989 г. и (в специальном случае) для предабелевых категорий Генераловым в
1994 г. Также доказана эквивалентность с точностью до знака двух определений связывающего
морфизма в лемме о змее (Ker-Coker-последовательности).