如何证明此python数组的工作行为合理？

Question

def push(item,stack=[]):
        #print('stack',stack)
        stack.append(item)
        return stack


if __name__== '__main__':
    print(push(5))
    print(push(6))
    print(push(7))
    stck = push(58)
    print(stck.pop())
    print(stck.pop())
    print(push(9))




Answer:
[5]
[5, 6]
[5, 6, 7]
58
7
[5, 6, 9]

[第二个push（6）如何维护堆栈数组不是第二个push（）方法应该创建一个新数组，以及它如何在push（）的多个方法调用之间维护该数组