Ισαπέχουσες παράλληλες ευθείες - Θεώρημα