theorem :: XPRIMES2:1571

canceled;