theorem :: XPRIMES2:6712

canceled;