polybta-review

In addition, [lem-AEnv-weakening] is specified.
It shows that the method "extending in the middle" is not required.