theorem :: XPRIMES2:6572

canceled;