Pappus follows from Desargues's theorem plus commutativity assumptions, so calling it 'independent' ...
This proposition has not been edited since the history system was added.