(A\otimes B)(C\otimes D)=(AC)\otimes (BD)