The role of algebraic inferences in Na'īm ibn Mūsā's 'Collection of geometrical propositions' - Panza, Marco (2008)