gはf×idと積の写像の合成やん?