proved a -> a, and therefore \bn -> \bn
proved commutitivity of \and
remove old file