rosattis theorem