1. R in S by C0SP1:def 4;
hence [(1. R),(1. R)] is Element of Frac S by Def3; :: thesis: verum