theorem :: XPRIMES2:2408

canceled;