  In the paper "Quantum theory cannot consistently describe the use of itself"
by D. Frauchiger and R. Renner an atempt is made at proving a "no-go theorem"
that states that either quantum theory cannot be universally applied, even to
macroscopic systems, or some very intuitive properties concerning recursive
reasoning and uniquenes of physical values must be false. In this paper, we
give a concise description of the paper's result, and expose a detail in the
proof.
