Theorem sq_add_sq_mul

Modification history