Straight Angle measures Pi Radians

Theorem
One straight angle is equal to $\pi$ radians.

Proof
From Full Angle measures 2 Pi Radians, one full angle is equal to $2 \pi$ radians.

A straight angle by definition is $\dfrac 1 2$ of a full angle.

It follows that $\pi$ radians sweeps out the one straight angle.