IJantbeviset J \ S.