Hunting for reduced polytopes

By correcting an example by Polyanskii, we show that there exist reduced polytopes in three-dimensional Euclidean space. This partially answers the question posed by Lassak on the existence of reduced polytopes in $d$-dimensional Euclidean space for $d\ge 3$.