Прокуратура Германии вполне могла бы обеспечить Навальному непосадку его в России. Для этого достаточно было подготовить бумагу, из которой бы следовало, что на время проведения следственных мероприятий по делу Навального, Навальному запрещено покидать Германию. С такой бумагой у ФСИН не возникло бы претензий к нарушению условий условного наказания — вернуться из Германии в срок Навальный не мог из-за предписания прокуратуры страны пребывания.
Но такой бумаги Навальному не сделали. Из теоремы следует, что Навальный на свободе Германии не очень-то и нужен.