N . bewisar ,att