( Top (BoolePoset X) = X & Bottom (BoolePoset X) = {} ) by YELLOW_1:18, YELLOW_1:19;
hence not BoolePoset X is trivial by Th3; :: thesis: verum