>>13

I think what you have is a definition, or maybe an axiom, not a hypothesis. Or is there another word to describe statements like these?