I will try to explain the proof of Quillen's famous theorem stating that the complex cobordism ring is isomorphic to the Lazard ring, over which the universal formal group law is defined.