theorem :: XPRIMES2:2793

canceled;