Один раз применили? Применили - ну и хватит, не вижу никаких препятствий к использованию эквивалентных малых. Иначе, если запреты продолжать дальше, то можно дойти и до абсурдных запретов типа "нельзя применять тождество (a/b)/c=a/(bc) - продолжай лопиталить то, что написано!".
Некоторые так и делают, кстати.