theorem :: XPRIMES2:2654

canceled;