What are you talking about?
Have you called the amsth package in the pre-amble? Note also that proof is an environment, so you would need to open the environment before closing it, i.e.
Without seeing your latex code, it's difficult to diagnose your problem.
Separate names with a comma.