theorem :: XPRIMES2:6456

canceled;