rotkiewicz theorem