Let X and B be given.

Assume HBasis.

Use reflexivity.

∎