nivens theorem