theorem :: XPRIMES2:6122

canceled;