theorem :: XPRIMES2:5456

canceled;