Yff's Conjecture/Historical Note

Historical Note on Yff's Conjecture
made this conjecture in a paper of $1963$.

It was proved by in $1974$, and reiterated by him and  in $1989$.

Hence despite it no longer being a conjecture, it is still referred to as one.