If a flag is not of official size, it must be a scaled-down or scaled-up version of one of the official sizes.
Jika bendera tidak berukuran resmi, bendera tersebut harus berupa versi diperkecil atau diperbesar dari salah satu ukuran resmi.