>>173
BC>0に矛盾。