theorem Th8: :: BASEL_1:8

for a, c, d being Real holds
( rseq (a,0,c,d) = a (#) (rseq (1,0,c,d)) & rseq (a,0,c,d) = (- a) (#) (rseq (1,0,(- c),(- d))) )