Vi finna sålunda proportionsvisdubbelt