helpful theorem in math