About proof results of 2,666

Relevance