Theorem abs_two

Modification history