You can verify it, but it seems like a smart hypothesis to start with rather than assuming the inverse.