Необходимо и недостаточно (СИ), стр. 114