Simplifying a fraction