If the sum of the absolute values of two numbers is known to be 0, then the two numbers are zero

If the sum of the absolute values of two numbers is known to be 0, then the two numbers are zero

If the sum of the absolute values of two numbers is 0, then both numbers are 0