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