theorem :: XPRIMES2:8984

canceled;