如何通过Hoare规则进行证明？

Question

使用Ho-are规则证明以下计算？其中c是命令，而X≤100则在位置X处执行X：= X +2。

{X≤100∧（∃i.X= 2×i + 1）} c {X = 101}

我是整数。