theorem :: XPRIMES2:8780

canceled;