theorem Th49: :: NAT_4:50

for p being Prime
for f being FinSequence of NAT st f = {} holds
p |-count f = {}