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