About proving results of 878

Relevance