theorem Th10: :: SQUARE_1:10

for a, b being Complex st (a ^2) - (b ^2) <> 0 holds
1 / (a + b) = (a - b) / ((a ^2) - (b ^2))