theorem :: XPRIMES2:7973

canceled;