easy lemma `issurj` for defining surjections