''x'' = ''y'') → (''x'' ''z'' = ''y'' ''z'')
   HOME
*