Description: In this section, I provide the first steps needed for convenient
proving. The presented theorems follow no common concept other than
being useful in themselves, and apt to rederive ax-1 , ax-2 and
ax-3 . (Contributed by Wolf Lammen, 17-Dec-2018)(New usage is discouraged.)(Proof modification is discouraged.)