Theorem exists_signed_sum

Modification history