>>356
r=1とすれば明らかに矛盾