theorem :: XPRIMES2:1887

canceled;