a,b,c,d∈Ｚ＋でab-cd=1を満たすとする。
このとき(a+b)/(b+d)は既約分数であることを示せ。