constructing a right angle