add about idx, fix typos
add theorems and proofs