Proper Ideal