theorem :: XPRIMES2:8908

canceled;