theorem :: XPRIMES2:2892

canceled;