theorem :: PDIFF_8:8

for n being non zero Element of NAT
for i being Element of NAT holds Proj (i,n) is homogeneous