Arithmetical demonstrations always include the genus about which the demonstration is, and so also do the others; hence it is necessary for the genus to be the same, either simpliciter or in some respect, if the demonstration is going to cross.