theorem :: XPRIMES1:1505

canceled;