つまりだよ、｢Aの定義はこうなんだからBになるはずだ。だから、
A⇔B
だから俺はC⇒Bを示したんだ。だから
C⇒A
です、
なんで、いちゃもんつけるわけ？｣
って教授に言っても｢じゃー、A⇔B示してもらおうか？｣ってなるだけさ。
C⇒Aになる事をA⇔Bじゃないかと思うのでこれからC⇒Bになること示しちゃいます、
ってなら話聞いてくれるだろうけど、何の説明もなしにC⇒Bやりだしたら、｢証明するのに、何したら良いのか本当にわかってる？｣って険悪ﾑｰﾄﾞになるよ…。
ってか、そんな見通せるならそもそも大学の数学など楽勝さ。