Вне всяких cомнений, видимо, это очень интересно. Но для процедур доказывания ТОЖЕ (ТАКЖЕ) не имеет никакого значения.
Но самое инетересное, что, возможно, необходимость рассматриваемого "доказывания" не будет обязательной. Объяснение этого - сложно (ударение - на последнем слоге).
