>>613
忖度、忖度うるさいですが、理解あるいは解釈という言葉を使ってもらえないでしょうか?

>9行目の冒頭にこれから何を証明するのか、その命題を述べてください。
8行目の式が成り立つ条件を検討していることは明らかですけれど。

>そしてその証明がどこで終わっているのかを明確にしてください。
まともな数学力を持っている人であれば、読めば分かる内容だと思います。

>突然宣言する記号?
変数は特に範囲が指定されていないものに関しては任意だというのは普通のことでは
ないのでしょうか?

>「tはcの倍数になる」
そのようなことは書いていません。tがcの倍数になるのかならないのか場合分けをしている
だけです。

以上、箸にも棒にもかからないレスは結構ですのでお引き取り下さい。