reduction and Cebotarev