# Proposition ff