Theorem norm_add_sq_real

Modification history