5.121
Die Wahrheitsgründe des einen sind in denen des anderen enthalten; p folgt aus q.