Question

Suppose `bar"a" = bar"0"`:

If `bar"a".bar"b" = bar"a".bar"c" and bar"a" xx bar"b" = bar"a" xx bar"c"`,  then is `bar"b" = bar"c"`?

Answer 1

Take `bar"a" = bar"0", bar"b" = hat"i", bar"c" = hat"j"`

Then `bar"a".bar"b" = bar"a".bar"c" = 0 and bar"a" xx bar"b" = bar"a" xx bar"c" = bar"0"` , but `bar"b" ne bar"c"`