theorem :: XPRIMES2:7892

canceled;