Function right_distributes 

pub fn right_distributes<S: PartialEq + Clone, const N: usize>(
    items: &[S; N],
    f: impl Fn(S, S) -> S,
    g: impl Fn(S, S) -> S,
) -> Result<(), &'static str>

Defines the right distributive property.

(b+c)a = ba + ca