theorem :: XPRIMES2:2467

canceled;