[(a(x),b(x))]x[(c(x),d(x))] = [(a(x)c(x),b(x)d(x))] show that multiplication is well defined
a) Proved
b) Not proved