theorem :: XPRIMES2:2456

canceled;