beltramis theorem