Twierdzenie o monotoniczności wymiaru