A canonic reduction for cotangent symplectic manifolds with a group action, and for the associated principal fiber bundles with connection (Neliniini Kolyvannya, 2006)