Theorem_Stack w-Arms