マイルの数で証明できる