Remove unused FUN_EQ_LEMMA from arithmeticTheory.