设a为一整数，如果能使a²的低位与a相同，则称a为“守形数”。例如5² = 25,25² = 625，则5和25都是守形数。试编写一个Function过程Automorphic，其形参一正整数，判断其是否为守形数，然后用该过程查找1～1000内的所有守形数。