けんき says to YSITD
可以用偏微證明error=p(距離)