>>887
そんなことはどこにも書いていません
A⇒B
であれば、AはBが成り立つための十分条件です