Πεψενθε 

`and`(S[`*`(Delta, `*`(ABK))] = `+`(`*`(`/`(1, 2), `*`(S[ABCD]))), `+`(`*`(`/`(1, 2), `*`(S[ABCD]))) = 9)