take the onto Relation of Y,Y ; :: thesis: the onto Relation of Y,Y is onto
thus the onto Relation of Y,Y is onto ; :: thesis: verum