On the first sentence it seems to look like it was valid but if you prove it there is no sense of this..