theorem :: XPRIMES2:1440

canceled;