>>486
仮定した内容から不適になるということであり、そのtがcの倍数である場合が存在しない
という背理法だと思います。

だとするとという表現は断定ではありませんので、悪しからず。