theorem :: XPRIMES2:5712

canceled;