for a, b being natural Number holds
( a <= b iff Seg a c= Seg b )