Proving a math theorem