Text this: Proof of some properties of transfer using noncommutative determinants