theorem :: XPRIMES2:2690

canceled;