theorem :: XPRIMES1:1887

canceled;