normal order theorem for ω(n)

GPTKB entity