min (R,S) c= by Th11;
hence min (R,S) is transitive by Def6; :: thesis: verum