Theorem_Stack w-Arms 2