Proof

solids solids solids solids