fi n^S inf r^,