theorem :: XPRIMES2:7660

canceled;