[{phi1,phi2},phi2] = [{phi2,phi1},phi2] ;
hence for b₁ being object st b₁ = [{phi1,phi2},phi2] holds
b₁ is 1, {} ,{(R#0 S)} -derivable ; :: thesis: verum