lab4: add math proof