バスタでない証明がないね。w