We establish the plain-memory prope

We establish the plain-memory property with the following lemma.
phy_mem_plain_memory : Lemma plain_memory?(phy_pm)
The proof is rather trivial because our physical memory is simply a byte array,
without any side effects.

Hasil (Bahasa Indonesia) 1:

Kami menetapkan properti polos-memori dengan lemma berikut.phy_mem_plain_memory: Lemma plain_memory?(phy_pm)Buktinya agak remeh karena memori fisik kita adalah hanya sebuah array byte,tanpa efek samping.

Hasil (Bahasa Indonesia) 2:

Kami membangun properti polos-memori dengan lemma berikut.
phy_mem_plain_memory: Lemma plain_memory (phy_pm)?
Buktinya agak sepele karena memori fisik kita hanyalah sebuah array byte,
tanpa efek samping.