Is 71 a centered heptagonal number?