  We prove the Identity Theorem for pro-$p$-groups with a single defining
relation giving a positive feedback to a question of Serre on the structure of
relation modules. A construction of "conjurings" indicates finality of our
result in a certain sense.
