2番どうやるの？
イメージとしては背理法であるｋ存在してｋが一回も出てこないとするとあるｐに対して剰余系を作らないっていうか同じあまりが二つぐらいあるｐが存在するってことを示すのかなーって思ったけど
わからない
どうしたらよいのやら