modについて。 設問の解説を読みましたが、赤矢印の箇所までは理解ができました。 しかし、なぜここで、N1が自然数になるのか、「⚫︎あまり4」を満たすN1が4しかないのかが、よく理解できません。 分かる方、ご回答よろしくお願いします🙇‍♀️