Delete gtc_proof.rb