[Haskell-beginners] Trying to prove Applicative is superclass of Functor, etc

fmap = <*> . pure So we could write for example liftA2 f fa fb = f <$> fa <*> fb

Hi, well aware it's trivial so I'll be terse: do we have?: this way?:

liftA2 f fa fb = pure f <*> fa <*> fb <*>

Incidentally, do we have?:

liftA == liftM == fmap

Thanks!