Quasi finita la dimostrazione P=FO(LFP).