About formally results of 642

Relevance