Theorem inner_add_right

Modification history