まず、自然数"j"と"k"を用い、"jr"と"ks"に注目して、両方の集合に属する自然数が存在しないことを背理法を用いて証明する。