About proof results of 2,758

Relevance