ny theorem