Description: Given two decompositions of a prime as a sum of two squares, show that they are equal. (Contributed by Thierry Arnoux, 2-Feb-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | 2sqmod.1 | |
|
2sqmod.2 | |
||
2sqmod.3 | |
||
2sqmod.4 | |
||
2sqmod.5 | |
||
2sqmod.6 | |
||
2sqmod.7 | |
||
2sqmod.8 | |
||
2sqmod.9 | |
||
Assertion | 2sqmod | |