זיהוי מבנה אלכסוני (פינה) במערך דו-ממדי

מערך דו־ממדי של מספרים שלמים נקרא "מערך פינה" אם מתקיימים בו התנאים האלה:

1. מספר העמודות שווה למספר השורות, וגדול מ־0.
2. כל הערכים בשורה הראשונה ובעמודה הראשונה הם 1.
3. בשורה השנייה ובעמודה השנייה החל מן האיבר השני, כל הערכים הם 2.
4. בשורה השלישית ובעמודה השלישית החל מן האיבר השלישי, כל הערכים הם 3, וכן הלאה עד סוף המערך.

לפניך דוגמה של "מערך פינה" בגודל 5x5:

1 1 1 1 1
1 2 2 2 2
1 2 3 3 3
1 2 3 4 4
1 2 3 4 5

כתוב פעולה חיצונית ששמה isCorner בשפת Java או IsCorner בשפת C# המקבלת מערך דו־ממדי matrix של מספרים שלמים ומחזירה true אם הוא "מערך פינה", אחרת היא מחזירה false.