theorem Th11: :: SQUARE_1:11

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