On Two Formulations of the Representation Theorem for an IF-state