a > 1 by NEWTON03:def 1;
then a >= 1 + 1 by NAT_1:13;
hence min (a,2) = 2 by XXREAL_0:def 9; :: thesis: verum