それから

a=b+c　から　a-b=b+c-b を経て　a-b=c　だ。