nuwa/stage: links for pytagoratheorem