<human>: Does "The territory of Warmia was incorporated into the lands of former Ducal Prussia, which, by administrative deed of 31 January 1773 were named East Prussia." correctly answer the question of In what year was Royal Prussia annexed?
OPTIONS:
- yes
- no
<bot>: no