sim, até porque, na parte que diz:
Coloque a bola 2 na caixa A.
Pegue a bola 1 da caixa A.
se a gente considerar que não tem variável provisória, necessariamente existirá um momento em que a caixa irá conter 2 bolas, ou seja, a variável irá guardar dois valores em um mesmo endereço de memória.