User:Hexalemma

Six proven statement of lesser importance used to prove other statements.