theorem Th96: :: NUMBER08:96

for r being Complex st r <> 0 holds
((2 * ((7 / r) |^ 3)) + ((7 / r) * (r - (98 / (r ^2))))) - 7 = 0