theorem Th2: :: INTEGRA6:2

for a, b, x being Real st a <= b holds
].(x - a),(x + a).[ c= ].(x - b),(x + b).[