theorem :: XPRIMES2:5705

canceled;