3.4 Simplification

For any a 𝔹: