The mathematical theory of a higher-order geometrically-exact beam with a deforming cross-section. (1st October 2020)