консеквент

Мат. right prosequence