p:ac=bc
q:a=b

ac=bcを満たしてもa=bを満たさないときがある
a=1,b=2,c=0とかね