theorem :: XPRIMES2:1721

canceled;