[tromp]

There is no assumption. There is just "A if-and-only-if B" where A and B are both true and therefore by definition the whole statement is true.