On sectional genus of \(k\)-very ample line bundles on smooth surfaces with non-negative Kodaira dimension A necessary and sufficient condition for Riemann's singularity theorem to hold on a Prym theta divisor 