javelin compact keywords:[proofs omitted]

javelin main keywords:[mathematics][theorems and proofs][theorems on absolute value][theorems on square roots][metatheorems]