The integration theory of linear ordinary differential equations