theorem A7B7: :: NEWTON07:56

for a1, a2, a3, a4, a5, a6, a7, b1, b2, b3, b4, b5, b6, b7 being Complex holds <*a1,a2,a3,a4,a5,a6,a7*> + <*b1,b2,b3,b4,b5,b6,b7*> = <*(a1 + b1),(a2 + b2),(a3 + b3),(a4 + b4),(a5 + b5),(a6 + b6),(a7 + b7)*>