(My proof is made possible by the fact that I have departed from previous procedure, by defining the concept 'freedom from aftereffect' not directly, but with the help of 'n freedom from after effect', thus making it accessible to the procedure of mathematical induction.)