reconsider R = R as Relation of , ;
reconsider S = S as Relation of , ;
R * S is Relation of , ;
hence R * S is Relation of , ; :: thesis: verum