Аннотация:A detailed exposition of one of the author's old results concerning the relationship between the propositional logic of realizability and the logic of Medvedev is given. The characteristic formulas introduced by Yankov play a decisive role in the proof. Along the way, a brief overview of Yankov's contribution to the study of propositional logic of realizability is given.