theorem :: XPRIMES2:2675

canceled;