Task: Translation
Input (Tagalog): Tagalog sentence: 4 Ang isang parisukat ng sidelength kasinungalingan sa loob ng isang parisukat ng sidelength . Patunayan na: Maaari One laging mahanap ang dalawang puntos at sa buong gilid ng tulad na ang segment na ay walang common point sa parisukat, At ang haba ng segment na ito ay mas malaki kaysa .
Output (English): 4 A square of sidelength lies inside a square of sidelength . Prove that: One can always find two points and on the perimeter of such that the segment has no common point with the square, and the length of this segment is greater than .