John states that the product of two real numbers is a real number. Extending this to imaginary numbers John states that the product of two imaginary numbers must be imaginary. Is his statement correct?