A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem