I'm trying to find out whether option 53 in DHCP offer is mandatory or not.
I've found this short snippet:

in book but I'm looking for any confirmation in rfc. I've checked this one but in section about option 53 there is no word of whether it is mandatory.
Do you have any suggestions about where I can find the answer?
I've found the answer in: https://datatracker.ietf.org/doc/html/rfc2131#section-3