Dzieje ustanowienia św Jacka głównym patronem Polski - Nocoń, Arkadiusz