beq_nat_sym の証明を短くした。