A uniqueness theorem on matrices and reconstruction

We prove the following simple uniqueness theorem: Let A and B be two integral symmetric matrices with the same irreducible characteristic polynomial. If there exist rational orthogonal matrices Q such that B=QTAQ, then Q is unique up to a sign. An application of the theorem to the reconstruction conjecture is provided.