theorem :: XPRIMES2:7572

canceled;