Proves funcionals contra proves no funcionals

^