About theorem results of 202

Relevance