This is trivial, but posted anyway for completeness.