Prove that the face lattice is an abstract polytope

[ooovi]

definition is here:
https://github.com/ooovi/AbstractPolytopes

so we need to show that the face lattice

• is bounded (this is done already)
• is graded
• has the diamond property
• is flag-connected