The_theoremcode (Arch-Martin)