theorem :: XPRIMES2:3492

canceled;