theorem :: XPRIMES2:2471

canceled;