add proof to task 03