theorem :: XPRIMES2:1266

canceled;