theorem Th44: :: ALTCAT_4:44

for C being category holds AllRetr C is non empty subcategory of AllEpi C