Inf ( pr dt genom Reduktionenaf