איך אפשר להוכיח שישר לא משיק לפונקציה?