On sectional genus of \(k\)-very ample line bundles on smooth surfaces with non-negative Kodaira dimension The speciality lemma, rank 2 bundles and Gherardelli-type theorems for surfaces in \(\mathbb{P}^4\) 