pであるなら、qであるのに十分だというのはわかる。

qであるのは、pであるのに必要ってのが直感的に？？？