About proving results of 872

Relevance
Fanaticism05:38