P is subset of np proof of god