theorem :: XPRIMES2:3287

canceled;