The conclusion might be so obvious and use from time to time without proof.

How could one prove that every complex vector space is a real vector space? Is there anyway to establish a formal proof of it and ensure that it works in an infinite-dimensional case?