theorem :: XPRIMES2:7946

canceled;