a,b,c,dを正の整数とし、aとb、cとdは互いに素であるとする。
整数n,mを用いて
x＝an+b＝cm+dと表せるxが存在する時
条件を満たすx全ては互いに素な正の整数e,fと整数lを用いて
x＝el+fと表せることを示せ