theorem :: XPRIMES2:1536

canceled;