Problem: rotate a point P about center O by a given constructible angle θ

Class:
Problem