Är denna bevisning ofullständigeller