About tougher results of 842

Relevance