theorem :: XPRIMES2:9696

canceled;