theorem :: XPRIMES2:7071

canceled;