theorem :: XPRIMES2:1428

canceled;