n_1, n_2 を整数とし、 d_1, d_2 を0より大きい整数とする。
さらにn_1/d_1, n_2/d_2 が既約分数表示になっているとする。
n_1/d_1=n_2/d_2ならば、n_1=n_2 かつ d_1=d_2 であることを証明せよ。