theorem Th14: :: LEIBNIZ1:14

PI / 4 = Sum Leibniz_Series by Th13, SIN_COS9:39;