Point detail
TR
Lf
≥
TR
prf
(i.e. line (4) shall not be below line (3)), and
a0c0