在Haskell语义中证明传递性

Question

我正在学习Haskell的语义，在那里我遇到了这个问题：

我已经尝试过，但仍无法得出结论。如果有人解释我如何证明这一点，那将是很棒的。谢谢。

Answer 1

1. 只是草图 - ＆gt;由于固定n的pn（s）是态射Ninf - > N，即整数集到整数，这个证明可以用这种关系简化为整数传递性证明

2. [1,0,0 ..] - ＆gt; [2,0,0 ..] - ＆gt; [3,0,0 ..] - ＆gt; ...
   我相信你能找到更有趣的一个