[diegoperini]

Existence of a proof doesn't mean application of it is widespread.

[thaumasiotes]

In this case, the existence of a proof means that its application is universal. You may believe that the automation of one process could be easily generalized to another process, but you haven't proved it until you've automated the second process.