|X|≧1