theorem :: XPRIMES2:7692

canceled;