Adding discrete inverse