About proof results of 2,672

Relevance