Question
Is it true that `forall x , y in phi[S] , x + (-y) in phi[S]` ?
Close the window and click for the next page...
Close the window and try once more...