<^o,o^> <> {} by ALTCAT_1:19;
hence A * B is epi by Th10; :: thesis: verum