“…In the proof of Theorem 1.3, Hirasawa's algorithm [16], that lay in the center of the signature Bennequin inequality in [34], finds its application again, this time in combination with the generator theory for diagrams of given canonical genus, initiated in [39], and then developed further in [44,45]. Namely, we use our result of [37] concerning the maximal crossing number of a generating diagram of a given genus.…”