theorem :: XPRIMES2:721

canceled;