theorem :: XPRIMES2:7984

canceled;