In addition, for the expression √ 2 = P / Q, the question to be discussed should have been whether P and Q are all integers. Now it has become to discuss whether P and Q are mutually prime on the premise that P and Q are all integers. Is it meaningful to do so?