Angle addition postulate:
m
see attachment
m
see attachment