theorem Th41: :: ALTCAT_4:41

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