Необходимые и достаточные условия теорем в математике