About theorem results of 215

Relevance