x plus 1 supra 2 minus 1 egal x​