theorem :: XPRIMES2:7796

canceled;