"Frac" and "Const" commute See there for a counterexample.
Until yesterday morning, I postponed to prove this (false) lemma (thinking it was an easy exercise). Then, preparing a talk, I could not prove this and searched for a counterexample. Finally I found a simple one in MSE (see above).