theorem :: XPRIMES2:5706

canceled;