Letter to the Editor - A Proof of the Optimality of the Shortest Remaining Processing Time Discipline