שאלה בלוגיקה.

אם יש לך טענת "אם ורק אם" (a<=>b)
אז:
=> נניח שb ונוכיח את את a
<= נניח את a ונוכיח את b

(כמובן שיש עוד דרכים אחרות חוץ מהשיטה הזאת אבל זה לא ממש מה ששאלת...)