ZZ of regular m-tier benzenoid strips as extended strict order polynomials of associated posets part 1. Proof of equivalence