theorem :: XPRIMES2:2692

canceled;