revise Panraksa generalization/proof

report.tex