Determine if the following statements are true (always) or false. If true, give a proof. If false, give a counterexample.

(a) If the product AB is a square matrix, then the product BA is defined.
(b) If A and B are matrices of the same size, then AB is defined.
(c) If the products AB and BA are defined, then AB and BA are square matrices.