h-proposition