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