Definition:Proper Fraction