Note Refill A5 | theorem-style