Working on proof

unit implies multiplication