segment addition postulate maze 1. There are any references about segment addition postulate maze 1 in here. you can look below.