theorem :: XPRIMES2:5572

canceled;