Text this: The separation theorem of weakly dicomplemented posets.