def monomial_divides(A, B):
 return all(((a <= b) for (a, b) in zip(A, B)))

def monomial_divides ( A , B ) : return all ( ( ( a <= b ) for ( a , b ) in zip ( A , B ) ) )
does there exist a monomial x such that xa == b? .