p⇒q
左側が必要条件
右側が充分条件

それだけ