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