theorem :: XPRIMES2:8386

canceled;