About proof results of 2,760

Relevance