Question

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

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

Answer 1

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

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