Показать, что эволюция во времени функции Вигнера определяется выражением