theorem :: XPRIMES2:5508

canceled;