theorem :: XPRIMES2:7935

canceled;