loongson/pypi: links for theorem10