for a, b being non zero Real holds
( a + b = a * b iff (1 / a) + (1 / b) = 1 )