Inequation of degree 1
$(val7[1])
. $(val8[1])
, $(val8[2])
Simple fraction I
$(val7[1])
, $(val7[2])
. $(val8[1])
$(val8[2])
Inverse I
$(val7[1])
, $(val7[2])
. $(val8[1])
, $(val8[2])
Inverse II
$(val7[1])
, $(val7[2])
. $(val8[1])
$val9 $(val8[2])
Linear deduction
$(val7[1])
$(val7[2]) $val10 $(val7[3])
. $(val7[4])
.
Upper-bound the square I
$(val7[1])
$(val7[2])
. $(val7[3])
.
Upper-bound the square Ib
$(val7[1])
$(val7[2])
. $(val7[3])
.
Positive square I
$(val7[1])
$(val7[2])
.
Positive square II
$(val7[1])
$(val7[2])
.
Given sum
$(val7[1])
$(val7[2])
$(val7[3])
$(val7[4])
. $(val7[5])
.
Transitivity and addition
$(val9[1]) $val23 $(val9[2])
,
. $(val9[3])
$(val9[4])
Exchange and mult
$(val9[1]) $val20. $(val9[2])
$(val9[3])
$(val9[4]).