These results were later proven, one by the methods of Erik Panzer [1]} and the other
by the methods of Oliver Schnetz [2]}. Their methods yielded complicated combinations of alternating
sums, which were then reduced to the MZV formulas (REF ,)
by use of proven results in the MZV data mine [3]}.

Эти результаты позже были доказаны: одним из методов - методами Эрика Панцера [1]}, а другим - методами Оливера Шнетца [2]}. Их методы привели к сложным комбинациям чередующихся сумм, которые затем были сведены к формулам MZV (REF ,) с использованием известных результатов из базы данных MZV [3]}.