Add new proposition considered as admitted

Here is a list of propositions, admitted or demonstrated ().

Proposition

Id	Logic	Action