theorem :: XPRIMES2:7070

canceled;