theorem :: XPRIMES2:1456

canceled;