5g: IsLeapYearλ()