Rules for solving sequences calculus