f `12 = cod f by Th2;
hence f `12 is Object of C ; :: thesis: verum