theorem :: XPRIMES2:5694

canceled;