数学で、if and only if じゃなくて、単独で only if って使ってるの見たことあるか？