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