大変失礼いたしました。訂正させてください。

a^b≠0で、なおかつb≠0であるならば

a≠0といって良いですか