Fundamentals of Meter Provers and Proving Methods