מישהו יכול לבדוק לי תרגיל בהוכחה פורמלית פליז?