>>675
てか、>>693これでいいじゃないですか?

どんなm,r,n,sを選んでも、aとbを>>693のように選べば必ず条件を満たすa,bが存在していることになります