まぁまぁ。
そういうわけでこのスレは、余りが一意的に存在することを論理的に証明するスレッドにしないか?