Kreweras' conjecture asserts that any perfect matching of the hypercube Q_d can be extended to a Hamilton cycle. We prove this conjecture.