fix up a proof

a case is no longer needed, due (I think) to new automatic rewrites
being added to HOL recently