“…Model M is referred to as main and is related to the auxiliary model M' of type [2] for the delay of SFE over B. In the main model, for each FE Ᏹ i , 1 ≤ i ≤ b, at any j, 1 ≤ j ≤ k i , and arbitrary Boolean set α, α ∈ (for natural number n, the n fold Cartesian power of set B is denoted by B n ), such that FLA ϕ i (α 1 , …, α j -1 , x j , α j + 1 , …, ) is not constant, positive delay of FE Ᏹ i with respect…”