AのときBである　とか　AならばBである　if A then B
という場合、
Aであるときは常にBである
と解釈するのは数学ではjkだと思うが。
数学書を読む基本的なセンスが欠けてないか？ >>1