refactorable polydivisible divisible congruent even incongruent prime fractionary evenly divisible commensurable