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