Conversely, let 
accepts 
.
accepts .
Then 
for some 
Every move in the sequence
were taken from M.
Hence, M starting with its initial configuration will eventually empty its stack and accept the input i.e.
