Условно назовем удачный пост Е, тогда
E=Fl+(-Lk);
E=Fl(lv);
E=-lv+(-Lk);
E=(Fl+Fl)n;
E=lv x lv;
t(lv)>E, где Е уже значения не имеет.

Каждая из формул так или иначе наша свое подтверждение на просторах ли.ру