つまり、証明できる範囲についてコンパイルを通さない、なら可能か