Bochner–Yano theorem