About implication results of 372

Relevance