In the construction of tangents from an external point using a circle on diameter OP, the lines drawn are tangents because
A. opposite angles of a cyclic quadrilateral are supplementary
B. an angle inscribed in a semicircle is a right angle
C. the basic proportionality theorem holds
D. the Pythagoras theorem holds