Title: On the theory of Picard-Vessiot extensions