f `11 = dom f by Th2;
hence f `11 is Object of C ; :: thesis: verum