About proving results of 876

Relevance