About proving results of 872

Relevance