One more proved checker (a trivial one)