Calabi–Yau theorem