Question
Do we need to add an axiom about subtraction ?
Close the window and click for the next page...
Close the window and try once more...