Detta följer också redan deraf , att deminsta