theorem :: XPRIMES2:5124

canceled;