The proton matrix element of the topological charge in quenched QCD