3 ms·
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.
by tromp 11y ago
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.