-</pre>
- when φ a transformation from F to MF', γ a transformation from F' to MG', ρ a transformation from G' to MR' are all in T:
+<pre>
+ For all ρ, γ, φ in T,
+ where φ is a transformation from F to MF',
+ γ is a transformation from G to MG',
+ ρ is a transformation from R to MR',
+ and F'=G and G'=R: