>>251はベータ。よって存在が矛盾。