Theorem norm_add_sq

Modification history