When [math]p[/math] is a prime and [math]a, b[/math] are integers, [math](p \mid ab) \Rightarrow (p \mid a) \lor (p \mid b)[/math]. What is the meaning of this theorem? What are two infinite nilpotent matrices A and B, for which the product AB is not nilpotent?