距離の公理を満たすこと

ただの計算確認問題