I got a really easy proof that i know are true but i'm really bad about proving things just need a little help getting started
suppose f:A->B and g:B->C show that g0f is a constant function if either f or g is constant
it is really easy to see that this is true by def but not sure how to formally prove this