Work on monotonicity proof.
Uwagi jacka 1