pentagonal number theorem