もしDeepProveが私が再びトップを買っていないことを証明できるなら、私はすべてを賭けます