is gelijk aan