Verify Properties of Transformations using Angles with the Same Measure