correctids=(∑_(i=1)^N) (Subscript[proti, i])