ruler segment addition foldable inside

ruler and segment addition postulates foldable inside