There are infinitely many variations of the initial situation and therefore no doubt indefinitely many theorems of moral geometry.
A just system must generate its own support.
We must choose for others as we have reason to believe they would choose for themselves if they were at the age of reason and deciding rationally.
Peace surely is a good reason, yes. But there are other reasons too.
Justice is the first virtue of social institutions.
The fairest rules are those to which everyone would agree if they did not know how much power they would have.