Аксиома пропозициональной динамической логики

[Razor]

Докажите, что аксиома индукции пропозициональной динамической логики
phi & [pi^*](phi -> [pi]phi) -> [pi^*]phi
является общезначимой.

Правильно ли я понимаю, что для доказательства общезначимости надо взять какую-то тавтологию и преобразовать её к виду данной аксиомы?