rabin auf Integer