[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] An easy pvs question

Hi,

   when I was trying to prove some lemma,I encountered this:

[-1]  FORALL m: m < N - 1 => s(m) = s(1 + m)
  |-------
[1]   s(N - 2) = s(0)

Rule? 


It seems easy,but I can not find suitable rule to prove it. Please help
me, thanks.