theorem :: XPRIMES2:2985

canceled;