for n, k being Element of NAT holds PFCrt (n,k) c< PFCrt ((n + 1),k)