4200. πορισμός (porismos)