A note on a free group. The decomposition of a free group functor through the category of heaps