Источник TeX:

CK\cdot OK = KF EK