Theorem_mobile Armless