21X8 Proposicion semidecente