A rigorous derivation of the Functional Renormalisation Group Equation