PはNPに属することが知られている.
ことが知られている