lab4: add math proof
Merge branch 'lab4'