P q 3 p q 6 (47/48)

P q 3 p q 6