Division Ring is Vector Space over Prime Subfield

Theorem
Any division ring is a vector space over its prime subfield.