proving (150.217)