prove con type=side