You can prove it using logic.