theorem Th42: :: ALTCAT_4:42

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