Rotation of a point A about a point P

Double click H to see the rotation formula. A' was created using the rotate tool. H was created using the formula. Move the Sliders to see that A' and H always coincide.