I need help to prove this assignment for me