About existential results of 586

Relevance