When constructing a proof bottom-up, this creates the problem of guessing A {\displaystyle A} (since it does not appear at all below).
在自底向上构造一个证明的时候，这产生了猜测 A {\displaystyle A} 的问题（因为它在下面根本就没有出现）。