:[4]

[4]The equation

may, by (5), be replaced by