[math-fun] Another Proof on Edwards’s curves