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