(1) Prove: log2 5 is irrational.
(2) Prove: The product of a nonzero rational number and an irrational number is an irrational number.