theorem :: XPRIMES2:7986

canceled;