Tannaka-Artin problem