simple proves is decidable