Key points are not available for this paper at this time.
No abstract.
Edsger W. Dijkstra (Sun,) studied this question.