fix the table of equivalences for X_9
reorder I_1, ...,I_4 in the theorem for J_10
add a remark on the square roots in the theorem for J_10
fix the table of equivalences for J_10
change restrictions for J10-
Merge pull request #34 from steenpass/andreas

revise part 2