Teorema
Pernyataan yang dibuktikan.Jumlah Empat Bilangan Genap Selalu Genap
Jika , , , dan semuanya genap, maka genap.
Penjelasan
Perhatikan bahwa pembuktian ini tidak menyentuh definisi bilangan genap sama sekali. Ia berdiri di atas teorema sebelumnya — dua pasangan, lalu satu penjumlahan lagi — dan begitulah rantai yang digambar peta ini terlihat.
Premis
Hal-hal yang sudah diterima lebih dulu, dan yang dipakai pembuktian di bawah.
Pembuktian
- Misalkan , , , dan semuanya genap.
- Menurut teorema jumlah dua bilangan genap, genap.
- Dengan teorema yang sama, genap.
- Karena dan keduanya genap, jumlah keduanya genap menurut teorema yang sama.
- Jadi genap.
Berdiri di atas
Semua asumsi yang akhirnya dipakai, walau lewat teorema lain. Inilah yang sebenarnya kamu terima kalau menerima teorema ini.