theorem :: XPRIMES2:1521

canceled;