theorem :: XPRIMES2:7085

canceled;