>>481
B⇒A
BはAの十分条件
AはBの必要条件