theorem :: XPRIMES2:2427

canceled;