Таким образом, понятно, чтобы продемонстрировать теорему, не необходимо и не выгодно знать, что это значит.