theorem :: XPRIMES2:2440

canceled;