Math prooving the corrisponding < theorem