theorem :: XPRIMES2:7772

canceled;