5.121

The truth-grounds of q are contained in those of p; p follows from q.