abcd는 자연수의 곱이나 나눗셈으로 이루어진 식으로
ab=cd는 이전의 문제에서 증명됐다고 했을때
둘이 서로소가 아님을 보이려면 
서로소라고 가정해서
a/c=d/b로 두고 d/b가 약분이되면 서로소인게 모순이다 라고 풀어도 됌?