>>330
A(p,q,r) B(s,t,u)とでも置いて検証してみたら。