そういえば、ある BF コードが同じ結果を出すコードの中で最短のものであるかどうかって、証明できると思う?