code: static EthiopicDate create(int prolepticYear, int month, int dayOfMonth) {
          EthiopicChronology.YEAR_RANGE.checkValidValue(prolepticYear, YEAR);
          EthiopicChronology.MOY_RANGE.checkValidValue(month, MONTH_OF_YEAR);
          EthiopicChronology.DOM_RANGE.checkValidValue(dayOfMonth, DAY_OF_MONTH);
          if (month == 13 && dayOfMonth > 5) {
              if (EthiopicChronology.INSTANCE.isLeapYear(prolepticYear)) {
                  if (dayOfMonth > 6) {
                      throw new DateTimeException("Invalid date 'Pagumen " + dayOfMonth + "', valid range from 1 to 5, or 1 to 6 in a leap year");
                  }
              } else {
                  if (dayOfMonth == 6) {
                      throw new DateTimeException("Invalid date 'Pagumen 6' as '" + prolepticYear + "' is not a leap year");
                  } else {
                      throw new DateTimeException("Invalid date 'Pagumen " + dayOfMonth + "', valid range from 1 to 5, or 1 to 6 in a leap year");
                  }
              }
          }
          return new EthiopicDate(prolepticYear, month, dayOfMonth);
      }
docs: Creates a {@code EthiopicDate} validating the input.
  
  @param prolepticYear  the Ethiopic proleptic-year
  @param month  the Ethiopic month-of-year, from 1 to 13
  @param dayOfMonth  the Ethiopic day-of-month, from 1 to 30
  @return the date in Ethiopic calendar system, not null
  @throws DateTimeException if the value of any field is out of range,
  or if the day-of-year is invalid for the month-year