theorem :: XPRIMES2:5060

canceled;