Using the natural deduction rules, give a formal proof of:

A $$B from premises

$1.$ A $$ B $$ C

$2.$ B $->($A $->$C$)$

$3.$ A $$ C