theorem MP: :: COMPLEX3:15

for a, b being Real st a * b is positive holds
|.(a - b).| < |.(a + b).|