Pantbeviset J \ (2