>>469
やれやれ
We suppose that these variables do not have a same prime factor. There is no loss of generality in making this supposition.