тогда и только тогда

http://www.mathelp.spb.ru/home_work1.htm

Таким образом, необходимые условия — те, без которых рассматриваемое утверждение заведомо не может быть верным, а достаточные условия — те, при выполнении которых это утверждение заведомо верно. Выражение "необходимо и достаточно", можно заменить равносильными выражениями "тогда и только тогда", "если и только если", "в том и только в том случае". Необходимые и достаточные условия обладают в математике большой познавательной ценностью.