Miracle flatness theorem