About existential results of 657

Relevance