A note on a proof of F. Hahn concerning the gross substitutability